record Env : Set where
  field
    varn : ℕ
    vari : ℕ