Paper over typeinf issues for 0.2