Refactors exceptions.
Refactors the createProxyConstructors function.
Implements expression type evaluation.