start exploring correctness conjecture for the new compile_top

tweaks to env_rs accordingly. side-conditions about free variables,
closed values, etc. showing up.