Promags stack fix (top-level context base) and minor cleanup.
Comment in compiler documentation.