Add tiny review of another paper about type inference by Ole Agesen