Fix CompilePush so that it type checks
Fix CompilePush2 so that it type checks.
Experiment with stencil fusion