TypeDB: one giant leap for databases