added hardcoded file for the built in functions
and make the typechecker always add them to the sig definitions.
updated the mini grammar with the TVoid type