Enforce the slot dispatch transition.

Slots are now bound to return the correct transition dispatch type,
which at least forces the implemenation to stick to the messages
specified in the message transition protocol.

Also, defaulted some special member functions where it was possible.