Prototype "this must be fused" annotation

What we prototype allows users to assert that an expression context
should be fused by the optimizer.

See discussions from me to Yvonne Coady. This should be integrated with
Optimization Coaching.