Add typeChecking debugging functions