The syntax to invoke a template is the same as calling a procedure.

The !=, >, >=, in, notin, isnot operators are in fact templates:

The “types” of templates can be the symbols untyped, typed or typedesc. These are “meta types”, they can only be used in certain contexts. Regular types can be used too; this implies that typed expressions are expected.