parsing terminating expressions
moving terminating expressions to bare
checking terminating expressions
starting termination with expressions
basic tests pass
verify merge
add  termination error msg
lexicographical ordering
basic test on mutual recusion: tests/pos.Even0.hs passes
recqsort also passes
mapBind for RTyApp
tidy