rewrite compiler as series of transformations into SQL

[riastradh-probcomp]

The only part that should produce strings of SQL text should be an even more trivial map from SQL-only AST.