2 ms·No. No they really are not well understood and the complications in the type system multiply fast.by di4na 3y agoNo. No they really are not well understood and the complications in the type system multiply fast.