Moved both notes into a nicer separate directory
Added merging and substitution application
Major overhaul to make TFun and friends use TApp properly

Added some forgotten files in last commit
Added name generation to type checker