HFuncs NAT is primitive-recursively_closed