improve parser error message about :not
update documentation