The object not is a keyword.
This operator may be used as a prefix unary operator in an expression like not y. The user may install a method for handling such expressions with code such as
not Y := (y) -> ...
where Y is the class of y.