update README to highlight objective of this repo and current progress
add reference for call-by-need optimization