Text this: Theories for TC0 and Other Small Complexity Classes