remove the (hopefully) useless csz argument to Cenv_bs

I think it was only for looking up global variables on the stack
start sketching out the compiler invariant

need more details on how the front-end refinements work