dev+: generic implementation of an ordered list