Added comments about y combinator