mas o menos las primitivas... los tipos primitivos son tipos simples (primitivos de primeros, es decir, los más basicos) son tipos que almamcenan datos como numeros o letras, pero no estructuras (este otro tipo se le llama "objeto")

sobre las variables por referencia creo que confundes el concepto, estas tienden a llamarse apuntadores, porque eso es lo que hacen, apuntan un lugar de memoria para accederlo... si 2 variables apuntan a un mismo lugar y la memoria es modificada (es decir, es accedida desde algún camino y alterada)  en todas las referencias se verán los cambios, esto es porque ellas solo señalan a una misma cosa, si destruyes el objeto, la referencia se pierde porque ahora señalas a un espacio invalido y probablemente inaccesible (o peor aun, apuntan a algo que no deberían y ahora ocupa ese espacio), estas deberan ser nullificadas a mano

lo que dices es contradictorio, si ambos apuntan a lo mismo, siempre deben ser iguales... imagina 2 ventanas que ven una misma estatua, si quitan la estatua en ninguna se verá...

pero ojo... si creas objetos a partir de una clase, cada objeto es indepeniente, en este caso cada objeto apunta a su propia direción...

no se si es la respuesta que esperas, pero colocar un codigo de eemplo ayudaría