Generic Type Instantiation

Differentiate between code sharing and type-specific code generation for generic parameters.