API changes with receiveEvent

- receiveEvent will deliver to external queue now per default
- switched Interpreter implementations to the new algorithm from spec