Revert to the old behavior for Domain/Range annotations, introduce
Initial and Terminal annotations for edge framing

Following the discussion in #65 the Domain and Range annotations are now
deprecated. Instead of altering their semantics, the new behavior
is activated by using Initial/Terminal instead of Domain/Range