To allow future changes to the API without breaking backwards
compatibility, mark several public types as non_exhaustive to prevent
users from exhaustively matching against these types.

BREAKING CHANGE: destructuring matches on marked types will fail.