Stop hiding Bool from the autocomplete file.  This causes it to be correctly highlighted as deprecated.
Stop hiding Bool from the autocomplete file.  This causes it to be
correctly highlighted as deprecated.

venkat24/codeworld,venkat24/codeworld,pranjaltale16/codeworld,parvmor/codeworld,stefan-j/codeworld,alphalambda/codeworld,alphalambda/codeworld,tgdavies/codeworld,google/codeworld,three/codeworld,stefan-j/codeworld,pranjaltale16/codeworld,parvmor/codeworld,nomeata/codeworld,nomeata/codeworld,google/codeworld,nomeata/codeworld,stefan-j/codeworld,three/codeworld,google/codeworld,three/codeworld,tgdavies/codeworld,parvmor/codeworld,tgdavies/codeworld,venkat24/codeworld,pranjaltale16/codeworld,alphalambda/codeworld