Add minimal_orderable for unit tests.
Add a basic Maybe datatype.