Implement syntax for parametric types.