Implement IrrPat, BangPat, N+K-Pat and NegPat.