let empty = Term.Map.empty