data class ConsEnv<out T>
ConsEnv(name: Name, value: T, next: ConsEnv<T>?)
val name: Name
val next: ConsEnv<T>?
val value: T
fun <T> Env<T>.lookup(name: String): T