Added ability to explicitly request inference by using the `_`
token as wildcard for a type. This enables partial type inference.