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