eliminated type parameter in Element
added concept of 'diagrammatic topos'
rationalizing packages
refactoring to make StrongBinding a separate trait that enables the new 'stars and quivers' topos API