Renamed and cleaned type functions related to parametric types.