Doc : Add more rules and environment explanations.
Misc style fix.
Terms : Add Types for introduction rules, add sorts.
Env : Add types to the environments.
Add some Names and Sort manipulation functions.
Adapt Pretty printing to term changes.
Derive Eq for Terms and move the Type alias.
Add an Typing error monad.
A general purpose error monad, to gather all the errors and in the darkness throw them.
Misc naming and correction, for consistency.
Parsing, Lexing and so on.
Typing! ... a bit.
Make the whole thing actually compile.