removed dependency on Data.Proxy; tweaked comments for docs