Typed static queries

I'm opening this PR so we can discuss the current state of the implementation.
Still some debug printlns left in the macros