Added matching constructors within the Lean model#4

Cogsad wants to merge 1 commit intomaintrailofbits/masm-lean:mainfrom

translator/sha256-local-memory-opstrailofbits/masm-lean:translator/sha256-local-memory-opsCopy head branch name to clipboard