Typed static queries

I'm opening this PR so we can discuss the current state of the implementation.
Mechanism switched from implicit trait implementations to annotations in [commit 3467245](https://github.com/Radsaggi/slick/commit/3467245779f35507e3ef33d1f2468348cc9ee7d5)