From type/Metamodel/Primitives

See Original text in context

method is_type(Mu \obj, Mu \type --> Bool:D)

Type-checks obj against type