Clean up KernelEffect
Fix MonadThings instance for HermitM (7.8 only). Add for Transform