Progress towards elem_type