Revert "infix_+ requires more thought from a typing point of view."

This reverts commit edece695acfdc39de9401e8b994f79c160abc6a4.
type sig for infix_+ which seems ok for lms so far...