We really should typecheck and refuse pushes when I break things.