To typecheck this development:

1. Adjust lookup paths in "options" file.

2. Next, copy the "options" file into your ~/.cedille directory.

3. After installing the Cedille v.1.0 open any *.ced file and hit
   "Meta-s" to process it.

4. The file "Everything.ced" contains the descriptions of main results
   of this development (processing it may take a few moments).