Add: static checking for operator overloading for unary operators "!" and "-";
Fix: a minor bug in static checking for operator overloading;
Fix: a minor bug in type aliasing;
Fix: single constant/variable expressions;