disabled infix_+, as it interfered with implicits. what to do about String.+ ?