fn get_type_of_usize() -> Ty<ChalkIr>