1 %% commento segato dal lexer
3 (* commento che va nell'ast, ma non viene contato
4 come step perche' non e' un executable
7 alias num (instance 0) = "natural number".
8 alias symbol "eq" (instance 0) = "leibnitz's equality".
11 %% commento segato dal lexer
14 %% questo lo si vuole tenere anche dopo la hint
17 (* commenti che non devono essere colorati perche'
18 non c'e' nulla di eseguibile dopo di loro