Fix: a parsing bug for shortcircuit evaluation of boolean operations;
Fix: a parsing bug for the ?: operator;
Fix: a couple of minor type checking bugs.
Add a minor improvement to the lexer;
Fix a minor bug for matching paired patterns.