The loop of any circle is nontrivial (#1115)

This PR shows that the loop on any circle is nontrivial. I also changed
"fundamental cover" to "universal cover" because that seemed to be the
conventional name.