Fixing object comparison: 'constructor'
Cleaning up prelude
Truthy working for simple examples.
Fixes in unification and printing of annots.