Term.Param.Val/Var => Templ.Param.Val/Var