Clean up implementation of Plutarch.Internal.Utilities

[L-as]

The proofs can in hindsight be made much more elegant.
Performance also needs to be considered, everything that can be represented as an integer
should be an integer.
Many GADTs should be made into fully erased data families too.

[L-as]

Existential types would help a shit ton. Should probably be made a priority.