Extract instance search code from Typeimplicit into Implicitsearch
Makefile: add -linkall for compilercommon to force all modules to be initialised

Otherwise, unused modules (like Implicitsearch) might get eliminated and
forward references left uninitialized
WIP, added "sign" to typeimplicit
WIP
WIP