Changes in Type Inference

[//]: # todo: fill in