Lazarevic, Nevena (2017) Augmenting Type Inference with Lightweight Heuristics thesis, Universität Bern.