Improved some on procedure type checking. Incorporated checking of array-type parameters. Also fixed some issues with tokens being used in error messages. This was especially problematic since token line numbers map the error message to its position in the program listing.