I've updated 5th's entry on the concatenative wiki with a (very) short description of its type system for anyone who's interested: https://concatenative.org/wiki/view/5th No, I'm not still working on it. Has been dead for years now. - jn