Check that type cannot be object or array
Check if type contains at least two non-null types
Check if type is known type with null
, precisely [X, null]
Check if type can be null
Check if type is known type, [X, null] OR X
Check that type has exact type