+= Featherweight Java, lambda-calculus of objects