Проблема: есть сласс примерно такой

template <class t> 
 class matrix
 {
    matrix (int, int);
  public:
    matrix operator* (matrix&); 
 };
 
template <class t> 
 class element
 {
  public:
    element operator* (element&); 
 };
 
 #typedef element<int> ReqElement;

 class ReqMat : public matrix<ReqElemnt>
 { 
  public:
   ReqMat (int, int);   
     
   ReqMat operator& (ReqMat&); 
 };
 
 ReqMat::ReqMat (int m, int n) : matrix<ReqElemnt> (m,n) 
 {
 }

 ReqMat::operator& (ReqMat& a)
 {
   return (*this)*a+a*(*this);
 }

Во первых, вопрос: можно ли сделать темплейт от темплейта без #typedef (у меня выводились ошибки компиляции).
Во вторых, проблема с оператором & из класса ReqMat. выдаётся ошибка о невозможности преобразования выраения (*this)*a+a*(*this) к типу ReqMat; Заранее спасибо