mod: removed members marked deprecated in 1.8.0; also removed VisitorReturn.