Deeper embedding of core definitions.
Rewrite Lambda-ext using fun-ext.
Deeper embeding of the rest of the library.
Fixed the code for the new embedding
Started working on instances