In comments, designed imperative computation syntaxes based on existing research.