_! -- a unary postfix operator, used for the lower shriek functor

This operator may be used as a postfix unary operator in an expression like x_!. The user may install a method for handling such expressions with code such as

         X _!   := (x) -> ...

where X is the class of x.