This commit makes it possible for the `ProxySocket` interface to be implemented by types outside of the `userspace` package. It mainly just exposes relevant types and fields as public.