By "disallowing nullary procedures" I mean that it is an error to evaluate either (lambda* () ...) or (lambda* args ...) so that the allowed syntaxes are (lambda (arg arg ...) ... and (lambda (arg arg ... . tail) ...).