Corrected many bugs, improved error reporting.
Cleanup
Added rudimentary support for typing class-using expressions ; bug corrections.