Hmmm
WYRL: various updates in relation to canonicalisation of Automata.  However, currently #272 is still broken.