Structs

Asserts that the provided distance function is a field rather than a bound