Uma discussão anterior de hoje me levou a questionar se meu entendimento de primitivos e literais está correto ou não.

Meu entendimento é que um tipo literal é especificamente um tipo que pode ter um valor atribuído usando uma notação que o humano e o compilador podem entender sem declarações de tipo específicas:

var firstName = "John"; // "John" is literal

var firstName = (string)"John"; // *if* the compiler didn't understand that "John"
                                // was a literal representation of a string then I
                                // would have to direct it as such

Meu entendimento de primitivos é que eles são essencialmente os tipos de dados elementares que o compilador pode entender, como int:

int age = 25;

... um literal pode não ser primitivo, como o suporte do VB9 para literais XML. Um exemplo de mundo não real seria se System.Drawing.Point pudesse ser atribuído com literais:

Point somePoint = 2,2; // both X and Y are primitive values, however Point is a
                       // composite value comprised of two primitive values

Finalmente (e esta é a pergunta que por sua vez me levou a fazer as perguntas acima): Meu entendimento é que, se um tipo é primitivo ou literal, não há relação direta com se é um tipo de valor ou de referência.

Por exemplo, System.String é um tipo de referência que suporta literais. Estruturas personalizadas são tipos de valor compostos que não suportam literais.

O meu entendimento (se não a minha explicação) está correto na maior parte do tempo?

Atualizar: Obrigado pela ótima informação e conversas! Para qualquer um que encontre isso, leia os comentários e respostas, há alguns ótimos esclarecimentos espalhados, além de algumas anotações interessantes.

btw: é um lance entre qual resposta realmente merece receber o grande cheque verde. Eu estou dando para a resposta infelizmente downvoted que contém não apenas uma resposta decente, mas muitos esclarecimentos e informações no segmento de comentários. Para ser justo, não há uma melhor resposta aqui, há pelo menos três :)