Tal-seven

Hi! Although i have just started using sml, i believe that a direct transition from a sub-state to an external state is not possible without having transitioned to the contained...

@drorspei Thank you for pointing that out.