derives repeat patterns and char predicates
derives many with bound patterns and char predicates
derives some patterns
extracted pattern subclasses to own files