WIP Make all definitions under a context

Moreover, represent the context argument of a definition explicitely.
Right now Term.hs compiles and that's it.
Use `Contextual` in data constructors too.

And projections.