replace Slot with VarTree for VariableTrees, doc fixes fomr Keith