A module for expressions (with only printers for now)
CHANGE the syntax: [inf] -> INF (so that parsing/printing is involutive)
Less positions in lexer
Update Makefile