notation command lhs item into a
syntax command item
Try to derive an unexpander from a notation.
The notation must be of the form
notation ... => c body
c is a declaration in the current scope and
body any syntax
that contains each variable from the LHS at most once.