let
add env x t =
(x, t) :: env