The Y Combinator in Arc and Java