Fix pto for PDataRecord xs

[L-as]

Currently it doesn't work because there is no catch-all PlutusType (PDataRecord xs) instance

[TotallyNotChase]

is it even possible to safely define a pmatch' for PDataRecord xs?

pmatch' :: Term s (PBuiltinList PData) -> (PDataRecord xs s -> Term s b) -> Term s b
pmatch' l f = pelimList
  (\x xs ->
    let
        dl :: ???
        dl = PDCons (punsafeCoerce x) (punsafeCoerce xs)
      in f dl -- type mismatch
  )
  (f PDNil)  -- type mismatch
  l