remove the good_v commented out stuff
move free_vars and closed stuff into a separate theory