[Git][ghc/ghc][wip/jeltsch/textual-bytecode-output] Fix the terminology around “pointers”