Modelling Ethical Theories Compactly