Change HashedArg to ArgSpec. Add documentation comments.