- Improved run-time checking about exception related properties
- Implemented throws/2 property.
+ Added clauses for term/1 property in instance/1.
* Fixed bug in compat(var(A)) clause.