Added missing toString() method.
Stop type checking an expression if an error is found to prevend multiple error messages for the same type error.
Whitespace.
Moved some comments about cyclic dependacy checking.
Removed another source of related errors shown for only one type error.
Made some statements less verbose.