swift234

Use generic signatures when inferring requirements.

Generic signatures capture requirement information canonically,
including same-type information that is hard to reconstruct from
archetypes. This eliminates some archetype abuse and sets the stage
for more improvements to the archetype builder.

Swift SVN r22503