More Efficient Exploration with Symbolic Priors on Action Sequence Equivalences. - Toby Johnstone; Nathan Grinsztajn; Johan Ferret; Philippe Preux (CoRR, 2021)