define lenv_def to go up the environment chain before creating symbol