A somewhat random bunch of changes and fixes following up on branch 'anntype'. Highlights:
- Implement
@doubledispatch
decorator and use it forintersection()
anddifference()
. - Turn isinstance into a SpaceOperation
- Create a few direct tests of the fundamental annotation invariant in
test_model.py
- Remove
bookkeeper
attribute fromDictDef
andListDef
.