#31, make elem/notElem hints only a warning