type conversion compiler design