Type Parameters - Draft Design

This draft design has become a proposal.