Fixed a couple of type checking bugs.  Merged the two README files into
one.  Updated build.xml to build the jar properly, and to automatically
rebuild the grammar classes after they are regenerated (though that uses
javac, not Eclipse's built-in compiler, so it's probably still a good
idea to do a "clean" afterwards).