semantic: Replace wrapper constructors with StatementExps.