Comonadic Semantics for Hybrid Logic and Bounded Fragments