Adds Seq(uential)Messages.

Now compiling Declare2 and Declare3