AST->IR: functions have right type now
IR->SSM: returning tuples on the stack :D