monoids without tears
RBT implem
progress on maths notions