[static checker] Implemented type well-formedness check. Finished implemention of generating Scala-style visitors, Walker, that Eric started. Added a test and fixed some tests. Closed Ticket #192.
Currently check the well-formedness of types before type checking. Checking the well-formedness of types after type checking breaks. Working on it now.
