Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 19:42:10 -0700 (Tue, 27 Aug 2002)
Revision: 3830
Log message:
This finishes off the atom typing rules, for the most part. Finally sat down
and when through all the binop's (cut, paste, and replace are such wonderful
operations). (-: