Bug fixes

This commit fixes a nasty bug in sequential composition, more specifically in `Atom.seq_act_atom`. There were also several incorrect unit tests.