added more development tools.
Added a scanner to the expression parser.
removed tabs in source files
Removed the parsing table caches from the System record in UnitB/AST to use haskell lazy evaluation for caching. The parsing tables are now part of Notation records.
new tool for trying all the Z3 sources that failed.