Performance Guarantees for Homomorphisms Beyond Markov Decision Processes