Compile time SQL engine that works with types