week 3 downloaded
updated gitignore
figured out singleton and union
tests for stuff written so far. let's try tdd now
diff is working
filter is working
I think forall is working
I think exists is working
implemented exists in terms of forall
I think I got map working