Amending Frege's Grundgesetze der Arithmetik (draft)