Evaluated Return statements
Statements that are just expressions ending in ';' are
	   passed to typeCheck.
Calls are now evaluated in typecheck