docs: def deriv(self, x: str, ctype: ContentType) -> SchemaPattern:
          """Return derivative of the receiver."""
          return (Empty() if
                  self.name == x and self._active(ctype)
                  else NotAllowed())