TypeDB - A strongly-typed database