added selftests that highlight the problems with Defn.sml
earlier and with simpler input than the current failing selftest in
boss/theory_tests/theory3Script.sml