Integrated option types in the type system.