collections: added move ctor and move aop docs; tidy.
array: header inclusion tidy.
traits: added is_unsigned<T>.
traits: added is_same<T, U>.
debug_constraints: switched to togo is_same<T, U> and is_unsigned<T>.