Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-20 18:29:09 -0700 (Mon, 20 Jun 2005)
Revision: 7395
Log message:
Unification stage is now uses non-string representation of positions.
But the rest is still string-base and conversions happen very often,
so there is actually slow down right now.