reworking HtDF exercises for practice; tspl4 exercises, too