Describir: Formalizing Medieval Logical Theories