なるほど。整理すると
値型は迷わず == を使った方がよい。
参照型は == が値の比較になってるか参照の比較になってるかは実装しだいだから用心深く使い分ける。
Stringなどわかり切ってるものは == でいい。

IDEで値型と参照型を色違いで区別してくれるくらいのサポートは欲しいの。