[FEATURE] Streamline TranscriptionOpt

[pulsipher]

Describe the feature you'd like
There are a number of ways to enhance the transcription process.

• Implement [FEATURE] Enhanced InfiniteModel Storage #41
• Pass along in _make_transcription_function if the expr has measures
• Expand measures in place
• Make transcribed constraints by replacing variables in place (complicated with parameters)
• Track highest variable level encountered while expanding to avoid checking all at the end
• Improve the support matching checks for floats
• Avoid unnecessary conversions
• Reduce quad expressions to aff expressions when appropriate

Describe what you currently do about this
We don't do any of the above.