These directories are used to store files for testing the type
checker.  The directories are as follows:

bugs -- holds files that demonstrate current bugs in the type checker

demos -- holds files that demonstrate things that work, without errors
         (see ../../lib342 for many more of these)

shows-errors -- holds files that are supposed to have type errors,
	        for demonstrating error messages.