Use AVal for "exports" so that its propagation gets recorded in "forward"