An Expressive Theory of Punishment