See the corresponding chapter of the HAC Language Specification document for more details. TODO: texinfo document link.
Relaxed templates allow certain parameters of a type template to vary within an aggregate collection (with the same base name).
Update: this has been implemented in the compiler.