CoralVM-Java: Adding Option type