TC-4 Improvements

Possible improvements include:

A more verbose type display

When reporting a type, one must be careful with recursive definitions that could produce never ending outputs. The suggested simple implementation ensure this by limiting the Named-depth (i.e., the number of Named objects traversed) to one. Another, nicer possibility, would be to limit the expansion to once per Named.

A Graphical User Interface

tcsh is up and running. You might want to use it to implement a GUI using Python’s Tkinter.