Establishing equality between and degenerifying JavaLambda's