Looking at it again, yeah, you can just get rid of unionsyms.