Special treatment for properties of type option<_>