Normalize bounds also in the UFCS cases (and get more systematic about it)