added meta_types::inc
reimplemented list::length using a fold operation. moved the details into dtl_length.h