refactor: use the full features of mkAppM in free_union#436

eric-wieser wants to merge 1 commit intomainleanprover/cslib:mainfrom

eric-wieser/has-freshleanprover/cslib:eric-wieser/has-freshCopy head branch name to clipboard