Lambda Spec: Inference should generate an eq bound from an unboxing constraint

Given the constraint [alpha -> int], there is only one possible solution: alpha = Integer. But 18.2.2 produces alpha <: Integer instead. This is inconsistent with 5.2, which does _not_ allow a widening reference conversion before unboxing conversion.