some fixes for nested sigs and symbolic evaluation of such