Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification