Pretty printing of replaced-by-exp template elements
Instantiation of template with replaced-by-exps.
Fixed transformation spec for type parameters exampl