Implement `AutomatonM` instance for `StateMachineT`

[marcosh]

It would be nice to be able to implement an instance of AutomatonM from the machines package.

This would allow using crem machines inside the machines framework