Templates defined with the current mechanism aren't fully expandable. I
think the documentation claims they are robust, but I get errors when I
put instances in an \edef.  There are some situations which templates
seem very suited for which need to be fully expandable.  Is this
realizable?

        James