Add simple union-find system for matching values to inputs of the same type.
Expand code generation coverage