[kisoron-ml] substructural logics