Simple imperative
language: Imperative language with statements and
expressions, expanding on the paper library example, with
syntactic and semantic additions
Large imperative language
with evaluation through matching: Imperative language
with expressions, statements, and functions that defines
evaluation using matching through projection instead of exact
forms with middling projection constraints
