Checkmeasure

For issue #98. Creates error for malformed measure definitions. For an example see `tests/todo/Eval.hs`.

Goes with the relevant pull request on `liquid-fixpoint`.