Moved dynamic semantics before static semantics.
Replaced zro? and pred with mtch.