engine: infer and check macro unit polymorphism (#619)#621

bpowers merged 1 commit into

mainbpowers/simlin:mainfrom

fix-macro-unit-polymorphismbpowers/simlin:fix-macro-unit-polymorphismCopy head branch name to clipboard