Finished type checking and corrected some aspects of function/procedure
declarations (namely function return syntax). To my knowledge, all
that's left is to differentiate between vars and vals. During this
process we will have to thuroughly test passing params to functions and
I have the feeling that this may need some work as well.