docs: def hint(invertible=True, callable=None, **hints):
      """ A decorator that can optionally hang datanommer hints on a rule. """
  
      def wrapper(fn):
          # Hang hints on fn.
          fn.hints = hints
          fn.hinting_invertible = invertible
          fn.hinting_callable = callable
          return fn
  
      return wrapper