Incorporate SOPs into the Plutus Core data type compilation machinery

Currently there’s no way to use the compilation machinery from `plutus-core/plutus-core/stdlib/PlutusCore/StdLib/Type.hs` with SOPs, meaning we don’t have any heavy tests for SOPs in `plutus-core` or `untyped-plutus-core`. We should have some.

Apparently I had a [branch](https://github.com/input-output-hk/plutus/compare/master...effectfully/typecheck/incorporate-SOPs-into-Plutus-Core-compilation-machinery) for that. I’ve no idea in what state it is and how much additional work is required, since it’s been a while. But there’s at least one `undefined` in there.