Rc2.1

This are fixes for the two problems reported as issues (non-idempotent semirings in bruteforce and non-invertible monoids in movemaker).