Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.