Pab/devel

Add the hashcode changes (I changed it around to be slightly more axiom friendly.
Fix a few spurious bug() errors in terror.c - so code with a == (a: I): I +-> 2; a("string") gives a nice error
add ald_flags to the build.

Plus a couple of random bugfixes.