Fix problems with lexer. Add ? for linear facts.