Add note to meta-eval on why y-combinator does not work