Fixed movemaker problem with non-invertible monoids (also fixed multiplier).
Fixed problem with non-idempotent semirings in bruteforce