NEL for 1+ combinators