Incorporate SOPs into the Plutus Core data type compilation machinery

[effectfully]

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 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.