moved deductions and conclusions to their own package, changed from
using enums to separate classes to define them
added ConclusionAndReasons class so deduction rules can display the
conclusions in order
finished horizontaluniqueness deduction
finished horizontal uniqueness inverse deduction
fix typo
did some shit
added deduction runner
added a class to run all deductions