Hide strictness annotations in autocomplete.  Fixes #127
Hide strictness annotations in autocomplete.  Fixes #127

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