IR bultin type toString
IR fix cast