fix substitution of type arguments in overloaded constructors