Add pen-and-paper semantics

[rtjoa]

Adds big-step operational and denotational semantics, including restrictions on InContext nodes.

Pulls in contents from https://github.com/rtjoa/tree-assume-semantics at commit 19b192d.