Attempt to add an 'assuming' structure.

I still can't get the interpreter statement to typecheck.
Add some simple tests.