Add PrettySymbol. Recategorize a few things.