recursion.cons.Nlast: new exercise
recursion.cons.{Reverse,Concat}: new exercises