Propagate the type constraint of CONTRACT

A thread was started.

Note that for internal operations this is enforced by CONTRACT though the type constraint is not propagated 😞

The goal is to come up with a better way to ensure that unit is the parameter's type of implicit contracts when treating internal transactions. Actually, it is checked by matching on the parameter's type.