Rename A.InvalidType to A.NoneType
CRITICAL add 'depth' field to var_info struct to keep track of scoping
Reject function redefinition