Module Fix.PropSource

Prop offers a number of ready-made implementations of the signature PROPERTY.

This ordering is not a lattice.

Although the code is polymorphic in the type of elements, it must still be packaged as a functor, because property cannot be a parameterized type.