moved Y combinator to Primitives.Functional since its no longer needed in Eval
Eric