Ideal Code, Real World: A Rule-Consequentialist Theory of Morality