Greatly simplify and improve erefs and friends;
release 0.20.6