Updated documentation for underlying_type and others