Run $ contrib/new-theory fp
Populate the kinds file.
Skeleton implementations of the classes needed by the constant kinds.
Fix glaring syntax error.
Add the helper classes for parametric sorts.
Fix some of the compilation bugs.
A few more compilation fixes.
Create a derived class the data for each of the parameterized operators.
Fixes to get the code to compile with the new kinds.