Now it is straightforward to fix bug 89, subst: template parameters.