NYI: There is currently no easy way to get hold of an instance of the unittype corresponding to E.redef zero => matrix E.zero E.zeroredef one => matrix E.one E.zerodummy implementations:redefines numerics.zero:identity element for 'infix +'