The call type(x, 'name') checks if x is of type name. It returns true if x is of type name. Otherwise, it returns false.

An object is of type name if it is a symbol, or if it is of type indexed and its root is of type name (that is, it is a recursive type).

If the parameter t is included, it checks that x is assigned something of that type.