Added support for type holes (explicit requested inference in a type
with `_` ). This support partial type inference.