Fix expression typing. Parameter passing still fucked up.
Commenting debug prints.
Function call signature size checking seems to be working.
Fixed bug where error wasn't being raised on different signatures.
Type checking for procedure calls seems to be working.
Type checking for assignment seems to be working.