Realized ConstraintKinds can be used instead of a single instance
Extract `add` to a module
Follow the naming convention used in `Add`
Implement `sub`
Implement `inttofp` and `fptoint`
Implement `ext`
Implement `fence`