The Formalization of Practical Reasoning: An Opinionated Survey