replacing XXXjdm by throw_type_error in CodegenRust.py (see #347)