minor updates to learnyou, plus additions/edits to coq/index.markdown