Abstracta and Abstraction in Trope Theory