Bisimulation and Coverings for Graphs and Hypergraphs -- Forcing Axioms, Finite