Started building the relations code
Subset relations for the easy (non-cardinality) relations found
Subset checking now complete.
Relations now checks for exclusive and equality
Added reporting for relations
Fixed relations testing (wasn't pulling all seqs)
Updated some potential seqs for lvl2
Added invariant descriptions, enlarged margins
Merge pull request #10 from thoppe/relations

Relations merge