Attached I/O to transitions, redefined refinement accordingly.
Merge branch 'io'