
[;1m  is_type(Term)[0m

  Returns [;;4mtrue[0m if term [;;4mTerm[0m is a type.
