small corrections to activities
improved DotDumper's handling of Domain
added more checks
improved DotDumper a bit
added missing visiting and added assertions
implemented inference of ManyType of ListLiterals
implemented nested object references
added sent_to method on Nodes::node_t
fixed test to access functions by index
added remove method on ManyType
added push method to ManyType
completed inference implementation for scenario's