Cardano Updates

```haskell
P.do
  PTxInfo y <- (x :: Term s PTxInfo)
  perror
```

The only missing thing is lets. I want to support let statements
with a syntax like the following:
```haskell
P.do
  z <- P.pure $ x + y
  perror
```

Not sure how to implement it efficiently yet.

In addition, fourmolu doesn't support this! Not sure what to do about that.

Mario/records on staging

This makes `pconstant True` be inferred to be of type `Term s PBool`.

There is however an issue: deriving via seems to work quite suboptimally.

We need two derives because there are two type classes now:
```haskell
data PBool (s :: S) = PTrue | PFalse
  deriving (PUnsafeLiftDecl) via (DerivePLiftViaCoercible Bool PBool Bool)

deriving via (DerivePConstant Bool) PBool instance (PConstant Bool)
```

The issue then is that the instance is:
```haskell
instance (PConstant h, PConstanted h ~ DerivePLiftViaCoercible h p r, Coercible h r, PLC.DefaultUni `PLC.Includes` r) => PUnsafeLiftDecl (DerivePLiftViaCoercible h p r) where
```
`PConstanted h ~ DerivePLiftViaCoercible h p r` fails to hold, because `PConstanted h` is set by another
derive. I'm not sure whether this is easy to fix.

The reason I switched away from functional dependencies is ironically that it seemed
easier to make newtype derives work.

Is there any solution that doesn't involve TH?

`s :: S`

To migrate your code, a good first step is:

```sh
find -type f -name '*.hs' ! -path '*/dist-newstyle/*' -exec sed -i -e 's/k -> Type/PType/g' -e 's/s :: k/s :: S/g' {} +
```

If you're using type applications, some functions will now need fewer type applications.

To migrate your code, a good first step is:

```sh
find -type f -name '*.hs' ! -path '*/dist-newstyle/*' -exec sed -i -e 's/k -> Type/PType/g' -e 's/s :: k/s :: S/g' {} +
```

If you're using type applications, some functions will now need fewer type applications.

Initialize benchmarks

`instance PUnsafeLiftDecl (PAsDataLifted a) (PAsData a)`

This allows using them with builtin lists.