MarcoMaggesi Hi, thank you! We have not performed an analysis on the computational cost of the inference algorithm yet. From the tests performed so far, which are still smaller, less intricated examples, it seems like it scales pretty well, but a more thourough analysis needs to be performed before we can give a conclusive answer.
As for the implementation of the type system, we haven't done it so far, but it is a step we would like to take. As well as extending both the type system and the algorithm to more built-in predicates.