Desugar and query against db working. Need clearer view on succ.
Use integer constants in the query too.