Implement *, inadequately I'm sure.
Begin to make error messaging conform.
Unsaturated blocks.  More tests pass.  Only a few contradictions.
The main program is not a block, it's just too weird for now.
Check for unassigned variables during malingering store access.