updated Catalan typeclass; added instances for StackSortablePermutation and DyckPath - still to be completed