ed843b519b
all of these exist in 1:1 correspondence to their parent hal objects, so let's make all of their lifetimes invariant.