file : "Language/LOL/Typing/Expr/Grammar.ag"
options : data, haskellsyntax, rename

file : "Language/LOL/Typing/Expr/Calculus.ag"
options : catas, haskellsyntax, pretty, rename, semfuns, signatures, wrappers

file : "Language/LOL/Typing/Collect/Grammar.ag"
options : catas, haskellsyntax, pretty, rename, semfuns, signatures, wrappers