Bug fix.
Enable highlighting of all expression hovers to be turned on.
Support unary operators in the parser, also cleanup.
Fix Set.addAll to return this Set.
Be smarter about when to render parentheses, using precedence.
Make sure "details" are not available for rule R.
Tidy code by using jQuery append with multiple arguments.
Improve simplification and fix a bug in statement of one fact to use.