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.