TypeDB: the polymorphic database powered by types - View it on GitHub