Better Step definitions

To overcome the fact that enum cases can't be generic, now there's a struct definition for SendStep and ReceiveStep.