Expose substExprR
Add caseFloatCast and utility function mapAlts
Add some cast rewrite primitives.