remove duplicate declarations for #45
Prevent live typechecking during autocompletion