semantic: Can't tell any identifiers as types at the parser level.