Instrumental Rationality 4.1: Modeling Habits — LessWrong