def-type-macro should create a variadic macro

[porky11]

So it could also work for types with more than one type argument
(I would have fixed it myself, but the typearguments in the expansion are not unquoted, else I would just use an uql instead)

[porky11]

or take a number as second (maybe optional) argument, so you cannot define types with wrong numbers of arguments by accident