update representation of types to TApply