update compile_Cexp_thm for primitive fromList code
update env_rs for the primitive fromList code

compile_top and later theorems still not updated