improved match/types, started typecheck, misc.
tree66c331063c5b7a472fd95a1a63188b8a9cac7d03
-rw-r--r-- 191 .gitignore
-rw-r--r-- 3950 INSTALL.TXT
-rw-r--r-- 1600 LICENSE
-rw-r--r-- 15882 README.TXT
drwxr-xr-x - doc
drwxr-xr-x - junk
drwxr-xr-x - src