Response to comments from review "Contracts for non-Void-safe users (take 1)"