Anntype2

Merged Ronan Lamy requested to merge branch/anntype2 into branch/default

A somewhat random bunch of changes and fixes following up on branch 'anntype'. Highlights:

  • Implement @doubledispatch decorator and use it for intersection() and difference().
  • Turn isinstance into a SpaceOperation
  • Create a few direct tests of the fundamental annotation invariant in test_model.py
  • Remove bookkeeper attribute from DictDef and ListDef.

Merge request reports