* Rename `instance` to `instanceStrict`. * Combine `builtIn` and `userDefined` to form new `instance` predicate.