The commented ```eq-env``` names should be deleted if the omni-completion function will always perform a "begin" completion if  ```\begin``` is met.