Typed static queries

I'm opening this PR so we can discuss the current state of the implementation.
What about this commented out test?