Introduction: improved CHERI intro
Background: improved Java intro
Background: improved Code safety section
Background: removed Joe-E from Object Encapsulation