Remove an unused parameter on fun and fun'.
Merge pull request #179 from pjonsson/simplify-fun

Remove an unused parameter on fun and fun'.
Adapt to frontend changes to mmMult.
Merge pull request #180 from pjonsson/allow-force

Adapt to frontend changes to mmMult.