Switched to Data.Vector for clauses

Can index into them faster to fix the issues with lazy watch swapping.
Is now roughly .2-.3 seconds slower, but uses about the same amount of
memory.  This should work better with watch lists.