Alias Types and effects for “environment-aware” computations