Change the type of combine

[nickgian]

It would be useful to change the type of combine from dict[a,b] -> dict[a,b] -> dict[a,b] to dict[a,b] -> dict[a,c] -> dict[a,d].
This requires updating the type checker, BDD backend and compiler for native simulation.