TypeSafe AI: overview and use cases