Extend TypeContext type
Parser creates functions from datatype constructors
Bug Fix: wrong argument order in functions