I support the request (T) == T, I guess it's needed to make the langage "look" coherent, and in particular, the difference const(T) =/= const T has always looked weird and unusable to me, please find a better way to formulate the subtlety !