Building efficient query engines in a high-level language | Synapse