Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-20 15:40:18 -0700 (Fri, 20 Sep 2002)
Revision: 3883
Log message:
Cleaning up documentation and some of the typing rules from my
commit earlier today. Remaining work:
1. Anything relating to FIR expressions has not been cleaned up yet.
2. I need to automate the typing rules eventually.