solutions to the exercises in software foundations coq tutorial