[] SSH_PCO.receive(?) -> value respFragment
 [] SSH_PCO.receive(?) -> value msg

Changes implemented:
 - '*' (any value or none) is no longer allowed as the matching template of 'receive', 'catch' and 'done' operations and  as the return values' matching template in 'getreply' operations;
 - the type of the value redirect is no longer used to determine the incoming message type (in 'receive', 'catch' and 'done' operations); the compiler must be able to determine the type from the matching template alone (if multiple message types), or an error is displayed.)
Example:
someport.receive(*)  -> value var0 {}  will be replaced with someport.receive(vartype:?)  -> value var0 {}  
(where vartype is the type of variable var0)
someport.receive(?)  -> value var0 {} will be  replaced with someport.receive(vartype:?)  -> value var0 {}
(in case several message types can be received)
Note: someport.receive(?)  -> value var0 {}  remains valid if only one message type can be received (the compiler will infer the vartype)
someport.receive(*) {} will be  replaced with someport.receive {}
someport.receive(?) {} will be  replaced with someport.receive {}