better double-definition checking for new lambda desugaring