Sketch of semantics for our deeply embedded programming language.