Enhances type checking for data transfer calls by adding fi_addr_t