Add more declarations to TODO
Get rid of known bugs

Because I fixed them!
Make a fancy completion table for WHYs matching
Check off what's been done so far
Remove bad decls from checklist

Either they weren't in the spec, they don't make sense, or they were
folded into another entry