enriched HO parser with $ and $$ tokens;
more functions and some bugfixes
use more specific names in rewriting/balanced_int RW system
first draft of the Hysteresis tool (preprocessor for E)