make GlobalEnvs show both their [[proto]] and [[outer]]