Types underscore flag, and documentation of types