Changed data structures to absorb Seq into an n-tuple of rules R.
Merge branch 'master' of https://github.com/dcastl2/papers
Merging with prime correction.