(1) refactor phase 4 (semantics) to use Binder in order to maintain Infoset association;
(2) refactor location annotation to add TTV specific location annotations to PSVI;
(3) refactor attribute name passing in {parameter,style,timing} verifiers to use QNames;
(4) add style and region attribute verification;
(5) add style and region attribute tests;
(6) warn on use of negative coordinates in origin, add tests;