Improve printer, improve TypedFunDef, fix variablesOf