I briefly worried that if you introduced a name like reclet, that someone would eventually come asking for recletrec, but I guess it's clear that such a primitive would be meaningless. Phew... Anyway, I agree with Pavel that special syntax is better than a new name in this case.