WYRL: bug fix for automaton
WYCS: making progress
WYCS: bug fixes for the way that minimise now works (i.e. basically that you have to now explicitly call compact).