Add custom smart operator handling for idris