Split Types.lowerBound into two methods; fix bugs in inference handling of capture variables. Reviewed-by: vromero
Inference should fail in 15.12.2.7 when inference variables with 'nulltype' upper bounds are found Reviewed-by: dlsmith