Fixed importing in pycow and added proxyset.
Fixed typos. Added doctests.