Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra