Add Typechecker module to convert between Unchecked and Checked program
Add BuiltinFunction enumeration