put back the conversion of warn-lazy-unlifted-bindings into an error until 7.2