Added false/true positive/negative examples to README
added another check_loop_types example
Changed examples to include Julia REPL output. Added whos example.