t is that this procedure will
     return the environment in which the implementation would evaluate
     expressions dynamically typed by the user.