Replace compile tests that check if types are copy constructible and copy assignable with normal tests that use type_traits (if available).

is_copy_assignable is broken in MSVC.

Array is split into an abstract Buffer class and a concrete MemoryBuffer class. BasicWriter now does all memory allocation through a Buffer object. Subclasses of BasicWriter may use different buffer types. The new BasicMemoryBuffer class uses the default MemoryBuffer.

Special case C strings because there is no need to handle size for them. Add support for pre-C++11 compilers to make_type.

This improve bloat test results:
Old stripped size: 67680 (optimized)
New stripped size: 59488 (optimized)