Clauses now use Data.Sequence instead of lists

There is some kind of infinite loop bug or this version is really
really slow