gf-3.1.6: lib/src/api/SyntaxFin.gf
--# -path=.:alltenses:prelude instance SyntaxFin of Syntax = ConstructorsFin, CatFin, StructuralFin, CombinatorsFin ;
--# -path=.:alltenses:prelude instance SyntaxFin of Syntax = ConstructorsFin, CatFin, StructuralFin, CombinatorsFin ;