Add TypeContext class
Merge branch 'develop'
Cosmetic changes
Merge branch 'develop'
Extend TypeContext type
Parser creates functions from datatype constructors
Bug Fix: wrong argument order in functions