No more option type. Record fields of the form '?foo: bar option' are
nullable. We no longer use Java primitive types (int, boolean, ...) but
their object counterpart (Integer, Boolean, ...) so they can be null.