Type checking mostly?? complete. Still have to complete handling of functions / type checking of function calls, and verifying that everything else is setup correctly.