Use automatic type conversion to convert from () and T into T with Merge nodes

This is an idea that will require some discussion to determine the feasibility and approach before implementation may begin.

---

When a Merge node receives only one input (either only the bottom input or only the left input), it can get stuck with some other random input type for the other, which doesn't match and results in a type error. This is only subtly visible because the two input connectors don't have the same color, but that is hard to spot.

Instead, we want the Merge node to receive the `()` type when it's not connected to anything, and use the automatic type conversion system to convert from `()` to `T`, for example `()` to `List` if it needs to match with the other input of type `List`.