Describe the environment query functions of CLtL2.