Fleshed out the proxy classes. Slice is now broken out into definition and runtime data.