Testing for shift, abstract, subst, free, funs, bound and fixed documentation for shift.