Lots of changes to PROPERLY support extensions, and one extension: The beginnings of GGGGC2.