Adding OptionalType.java