Sources: added dependant_sum and used it to define Kleene and Concat.