Implement floating-point theory rewriter and changes to makefiles to include the new files in the build.