AA: Factor some verbosity out of metadata node creation.
AA: Implement aa_use annotations, abolish aa_global.
AA: Fill in some details on how to represent context trees.