div package:basement

Support for division between same types This is likely to change to represent specific mathematic divisions
Represent types that supports an euclidian division
(x ‘div‘ y) * y + (x ‘mod‘ y) == x