calculating identity quivers better
refactored to make internal use of the new strong binding notation
more refactorings: wrapping arrows as quivers more easily
yet more refactorings: "arrow as quiver" supersedes "arrow as function"
got rid of type args for arrowAsQuiver everywhere; more simplifications