Fix: Function typechecker forgot to check return values.
Added comment syntax.
Unified type instantiation syntax