updated hints file with known bug about shifting variables of set type