Checks all work now. A nicer message for method duplication needs pretty-printing, which is best generated from SDF3