find more used namespaces for simple variables
remove 'unused import' hints
Merge branch 'master' of https://github.com/Frege/frege