Forall intents - the initial implementation.

@noakesmichael : This looks like another opportunity for factoring and subclassing statements that represent "decorated" block statements.  This is just a FYI.