3204a9e8a3
Auto-promotion now occurs in only two cases: when we start the compiler and when we expand a macro. It's fully recursive so even a non-model nested in a model will be promoted. This change fixes some regressions induced by the stricter type checks of the pattern-matching compiler.