Clarifying that a descriptor is expected to instantiate the Step type it owns.
Generified instantiate for better type safety.