Vector<b> Vector<Vector<a>>

/* Nach Sub_unify <? durch <. ersetzt dadurch TPH b <. Vector<a> 
  FUNKTIONIERT !!! */
 
/* muss noch nac der 2. Menge angepasst werden PL 07-08-03
  
class Number {}
class Integer extends Number {}

class Vector<a> { }

class Matrix extends Vector<Vector<Integer>> { }