fix F::P type reification, type registry