Refactoring: Move TrivialProof into new mepk.kernel.util package.