this directory has stuff which may be generally useful, previously found in 
seqms, to do with 
(1) the pmg type classes, see 2010 LPAR paper
(2) multisets