more symbol and instances handling