[kisoron-ml] proof theory of skew monoidal categories