Require type annotating function args/return in syntax.
Parsing function calls.
Type checking programs
Create Makefile.