That sounds like, for performance reasons, you want control over the actual types used. But you could eliminate those changes from affecting the semantic repres

That sounds like, for performance reasons, you want control over the actual types used. But you could eliminate those changes from affecting the semantic representation of your program. Or at the very least with an easy check that the optimization doesn't affect your semantics.