030314: PJ: Dags att definiera en egen refl
  Steg 1: 
    Försök använda eq som finns inbyggd i deq
  Steg 2:
    
030303: PJ: Fungerande och uppstädad Datoid-definition för DAlgebraic

  It would be noce to have a partialevaluator / dead code eliminator
  for Alfa - then we could obtain "stand alone" definitions for
  equality, reflexivity and substitutivity "for free" from the datoid
  definition.

  The real work is done in the Alfa library in the definitions of sum
  and product for datoids.