Введите решение на основе существования вложенного определения типа

Я должен определить шаблонную структуру, таким образом что:

element<T>::type

имеет тип:

T::element_type 

если T содержит (общедоступное) определение типа, названное element_type, иначе (если это не содержит такое определение типа),

element<T>::type

имеет тип

T::value_type 

если T изменяем и типа

const T::value_type

если T является постоянным.

Я действительно борюсь с этим, любое предложение очень ценится!:)

Большое спасибо за Вашу справку заранее!