Navi Set-theory based type system used in chaiNNer Documentation for the Navi language can be found here.