Finished code to validate ratio template parameters in dynamic_array. Working on allocator_concept class, to verify that a type satisfies the requirements of a standard library allocator.