Move Circle.v to theories/hit directory