add do/then syntax to SEAL