Added boolean not prefix function and constructor names to let bindings to differenciate in NaBL
Added desugar rules for prefix/infix expressions.
Cleaned up/added expression tests
Made expr less ambiguous