pub fn match_type_direct( identifier: &Identifier, name: &TrueName, pos: Position) -> TypeResult<HashMap<String, (bool, Name)>>