Fixes use of template parameters in a template instantiation
Now generates a  to contain the instantiation as an AST node.
Yes, this is what I told polygone to do. Not that I expected him to.