expands the type section, adds an aside on operators