* Corrected some outdated comments re variables and type checking * Added some more details about type checking