Changing how SMTLib1.hs and SMTLib2.hs reexport modules so that Haddock will correctly generate documentation