Move all functionality to Checker.hs.