`scalar_tac` simplifies the goal *then* saturates it

[sonmarcho]

trafficstars

Because of this, patterns for scalar_tac don't always work in the expected manner (because the pattern may be valid before simplification, meaning it doesn't get triggered afterwards).