TAPL exercices and implementations