Types and Tokens: On Abstract Objects (The MIT Press)