Как проверить наличие опциональных типов?

Проверяйте наличие макросов типа INT32_MAX. Гарантируется, что они есть только тогда, когда есть соответствующие типы:

Each of the macros listed in below is defined if and only if the implementation defines the corresponding typedef name.

Только непонятно, какой в этом смысл. Если программа должна работать на платформе, где этих типов нет, то просто не используйте их. А если не должна, то и проверять незачем.