Runtime and toolchain for whole-program tracking of data types and allocations