Add type-check test for identifiers.