Add Patterns
Add NoPattern and make pattern an option
Respect patterns in foldTestTree
Get rid of type families
Docs
Expose and document Options
Move from Proxy to Tagged
More docs for Options
Sections
Option lists
Add empty option list and document instances
Require tests to specify their option lists