moved optional infix operators to a separate (non-auto-opened) module