Started refactoring work on RefinementPattern, adding support for lines, and adding a notion of the induced side refinements.