Add Global/Local qualifiers to all Instances
rename allpath_hprop to path_ishprop, close #545
Merge pull request #547 from mikeshulman/instances

Add Global/Local qualifiers to all Instances
Merge pull request #548 from mikeshulman/path-ishprop

rename allpath_hprop to path_ishprop, close #545
remove workaround for fixed bug 3588
Some HITs were missing the fix for Anthony's inconsistency
Merge pull request #549 from mikeshulman/bug3588

remove workaround for fixed bug 3588
Merge pull request #550 from mikeshulman/hits

2 pairs even.
Some HITs were missing the fix for Anthony's inconsistency
improvements to STYLE
Instructions for defining HITs