singleton package:dlist

singleton x is a DList with the single element x. singleton obeys the law:
toList (singleton x) = [x]
singleton x is a DNonEmpty with the single element x. singleton obeys the law:
toNonEmpty (singleton x) = x :| []