improved term=?, removed now-redundant lines in symbolo and numbero