Text this: A development of Russell and Whitehead's theory of types