combinatory logic notes