Added Types.to_string and implemented translate_cmp_exp