
[;1m  set(Terms, Type)[0m

  Creates an unordered set. [;;4mset(L, T)[0m is equivalent to [;;4m[0m
  [;;4mfrom_term(L, T)[0m, if the result is an unordered set.
