make `IEnforceableConstraint` a marker interface

And remove yucky extension of `IEnforceableConstraint` to `Object`.

Related clean up references to types and interfaces defined in
logic.clj.
tidy up protocol references, type/interface references, & namespaced
keywords in nominal.clj.