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