Switched to Java 7.  It is about time. :-)
Switched to Metamath-style typing (like $f statements).

This is simpler, but more importantly, I think this is necessary to
have abbreviations that say "'x is a positive real' abbreviates 'x is
a real and (> x 0)".