basic check that termination expressions are numeric
improve terminatino error messages
add tests
Update README.md
Merge pull request #283 from ucsd-progsys/errors

Improve termination error messages
remove fixme0
merge
lift recursive functions to measures
remove fixme0
Merge pull request #282 from michaelbeaumont/master

Completed (insertion at least) AVL implementation, passes the totality checker