値型がないから実際には特殊化されたコードをVMが生成する必要はないよ
ユーザーコードからは特殊化されてるように見えるようにVMが頑張ればいいだけ
.NETはそういう実装(値型については本当に特殊化される)