Made various BoardObserver fields final.
Made Disjunction fields final.
OnThirdOrFourthLine now precomputes its answers.
Made the line method in OnThirdOrFourthLine static.