> IIRC Kenichi Asai has looked into that based on Conor's unification > algorithm. I put it here, if you are interested: http://pllab.is.ocha.ac.jp/~asai/papers/paper2017.pdf -- Kenichi Asai