Add a type rule for the constants used in parametric floating-point operations.
Fix the issue with parsing the parametric, polymorphic to_fp by adding a new kind.