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
test refactoring
Merge pull request #149 from ucsd-progsys/terminating_expressions

Terminating expressions
update README.md with decreasing expressions