Introduce test helper macro with-empty-env.
Implement syntax checks.
Push segment registers off to a later version.