Add short types: nullable_t and non_nullable_t
rename {non_}nullable_t into {non_}nullable_data to suggest that they only classify 'get'-able values