Small improvements, some rbt experimentation.

Fixed typo in -and constructor.
Add flow filter to Functions.
More robust code loading, initialisation.
Start thinking about caching.
Add syntax for HMap absent-keys and complete?.
Fix subtyping between Protocols and Records/DataTypes.
Better type simplification in Un and In ctors.