massive cleanup of Type.java; introduced human-readable toString() and one-instance...
-rw-r--r-- 26600 COPYING
-rw-r--r-- 733 Makefile
drwxr-xr-x - src