Glop theory : a new trope ontology