Playing around with ParsingContext
more parser refactoring
move ctx to Syntax
repl keep context
Commiting playing with contexts
may be oneday understand evaluation contexts
Add type to abs
Optional type on abstraction
Adding very basic type checking
parsing arrow types
Adding string type
Adding printing of type information
thinking of adding fixed points
term_substitution
termSubstitute
move pretty printing to syntax
refactorings for pretty printing
refactorings for pretty printing
remove process internal
fixing tests