Straight Line Program Groups

New Features:

• When defining a homomorphism with domain an SLP-group, it is now possible to use the generator image pairs notation x -> y.

Bug Fixes:

• Some bugs with Evaluate when the word group and the target group are equal have been fixed.
• Giving Evaluate an empty list as first argument no longer crashes.