fix: setting currRingHdl after rKill

Conflicts:
	Singular/ipshell.cc
chg: simplify rFindHdl
fix: grobcov.lib: types
chg: description for farey
add; ref to rvar in section var