Better documentation for Option and others.