Adding a [map] primitive to the tactic monad. Hopefully this should be
slightly more efficient in general.
Fixing bug #3285.
Adding a test for bug #3285.