Traits on expression tokens can be useful here

# addition
proto sub infix:<+> 
    is looser(infix:<*>)
    is pirop('add')               # use PIR 'add'
    { ... }