SMS dit: Formalizing Medieval Logical Theories