Fix examples/PSL given tight equality
Reconcile store_thms with diverging names in db and val binding
rename PSL-Path theory in "examples/PSL/path" rename PathTheory -> PSLPathTheory FinitePathTheory -> FinitePSLPathTheory this eliminates the clash of theory names with "src/coalgebras/path"