Throw away any type/symbol information for arguments in the application and re-typecheck them from scratch?