add standard/lazy-only version of y combinators