language Uminus extends While {
  Exp[uminus] --> - <Base> ;
}