Added basic functions, some test expressions and type checker.