pub fn ast_int_ty(ity: IntTy) -> IntTy