PolyPtns paramterised by pattern types, pattern types corrected.