Update expect/refute funcs
Add initial draft of the README