Function Over Formalism: A Provisional Theory of the Constitutional Law of Crime and Punishment