Monotone_framework_sigs.TYPE
The minimal data we need to use a type in forming a lattice of various kinds
type vals