val string_of_literal: CicNotationPt.literal -> string
-val dress: 'a -> 'a list -> 'a list
+val dress: sep:'a -> 'a list -> 'a list
+val dressn: sep:'a list -> 'a list -> 'a list
val boxify: CicNotationPt.term list -> CicNotationPt.term
val group: CicNotationPt.term list -> CicNotationPt.term