TODO: fullyInitializeSymbol in typeSignature