Parsing and printing of implications -- no reasoning support yet
Many improvements to Doc
Added a new formatting engine that will eventually replace _tex