Use empty string as constructor name, because `c` is a type.
Clean up primitive equality and add reference type equalities.
Clean up unused imports.
Add typing rules for class instantiation, and boolean binary, bitwise, logical, unary arithmetic operators.