Load a temporary definition of TYPEP.