Move aux stuff to a separated header.
Add an is_nonarrow_convertible traits.

It does not tests literal cases, of course.