Typed SQL

Queries checked against schema types at compile time — not stringly SQL in the type system. See ../book/005-Databases/000-init.shp and ship-db.md.