Updated architecture, added simple test cases.
Proper ordering for brute force check, additional tests, better printing.
Checker returns positive match if possible.
Restructuring, proper hypotheses checking.