feat: elaborate block structures as concrete elements#693

robsimmons wants to merge 2 commits intoconcrete-blockleanprover/verso:concrete-blockfrom

concrete-constructionleanprover/verso:concrete-constructionCopy head branch name to clipboard