Added Rosa Tree, Functors, Monoids, and Foldables Lab template