re-write amb-let to have :where clauses mixed in with bindings