Add new "memory use marker" intrinsics. These indicate lifetimes and invariant