Bugfix for read instance for the address type. Added a 'static' environment to the interpreter. This allows symbolic referencing of static values during serialization/deserialization, thereby allowing us to transfer collections over the wire again. Currently this is only used for collections, but could readily be extended to functions. Finally, source and sink wire descriptions are yet to use the static env until we add it to the interpretation environment.