let
empty =
Term
.
Map
.empty