Added `IdentityP` and the `trans` package

[none]