Port/channel type correctness not checked
If a exit and entry port connected by a channel are of different type, not error is raised in the Model Markers.
Furthermore: Changing a Port type is AUTOMATICALLY propagated along the connecting channel. Implicit changes of type are NOT A GOOD IDEA!!!!!
(from redmine: issue id 2118, created on 2014-09-03, closed on 2015-08-03)