Fix lexer
Fix type checker
Fix mixfix parser