Storing to-be-synced binary clauses with outer variables

This way we don't need to update, etc.