Tradeoff of defining types as subobjects#86

YaelDillies wants to merge 10 commits intomasterleanprover-community/blog:masterfrom

tradeoff-of-defining-types-as-subobjectsleanprover-community/blog:tradeoff-of-defining-types-as-subobjectsCopy head branch name to clipboard