48cea4b800
NB: this commit provokes some inference problems, which are fixed by next commit about type inference for assignments