This function returns the number of environments between
the empty environment, including
env. The depth of
env is also the number of parents of
env (since the empty
environment counts as a parent).
The section on inheritance in