implemented type check for instanciated action. #216
added tostring for reference process
added proper check for process instantiation
changed deadline time expression check to only require compatible rather than subtype.

close #216
Merge branch 'origin/jwc'
close #213 added type check matching AInterleavingReplicatedAction
 - test probably missing
Removed special case in buildExpWithDotteds() that returned an
AVariableExp when the list of dotted identifiers was empty; it now
always returns a unresolved path.  This is in the context of building an
operation call in the leadingIdAction rule.  Related to #209.
[skip ci]