Add `isConstant` predicate to `Primitive` class

Extend the instances of `Boolean` and `Formula` accordingly.
Add profiling support
Increase major version because of the last two commits