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

Improve termination error messages