Module N uses unary,i,num functions instead of __num_of_int__ internally.
Module Angle simplified. No more printing.
Module Angle and Float should provide similar interfaces.
ImpMat. Matrix and Vector almost complete. Typesafe indices for statically checked access.