Consistency checking when an input with the same name occurs with different types.

[pbloem]

If a module has different methods of construction (like different constructors), the same @in name is allowed to occur in both, but only with the same type. This should be checked explicitly, probably by JavaDomain.

[wongiseng]

There are some checks now for inputs with same name: 2be2152