The Y Combinator explained in a runnable Scheme file