Grammar contains an indirectly recursive rule: type_expression -> _expression -> type_expression