Added an equality law in the form of two refinement laws (LLL-lr and LLL-rl) for the left to right and right to left applications.

Fixed the issue with & not showing. It is a limitation of eclipse labels. Before returning the details of a law, I'm replacing each & by &&, which is the escaped form accepted by the widget.