First attempt at representing the Essence Kernel for Software Engineering in EPF.