It seems to me that informal mathematics uses comprehension without restriction, with an occasional wink at the paradoxes. In this usage, replacement is unneeded as a distinct principle.