can remove some annots in List
add # unique error spans
Asdasd
RBTree-mini.hs
subsFreeSyms on invariants as well
ASdaSDA
asd

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
RB-insert works
explicit binders added to prevent silly RBT type strengthening
aasd
about to revert color
thing is still not working...
invariants over constructors still not working
forgot to add invariants to makeSymbols...
fix for #181
twiddle
twiddle
cleanup
now lets try with color
RBT-mini-color works, onto delete