Download Databases, Types, And The Relational Model: The Third Manifesto