Fixed up several wording and variable naming issues in requirements tables

Table 27 in [allocator.requirements] defines variables a and a1 to have
type X&, so it doesn't make sense to re-use those names in Table 28 when
declaring a new variable of type X. Instead, use a name not used
elsewhere.
Remove the 'denotes' here.