Don't really like the name environment for this. Can we rename it CallEnv, or somehting more specific?