smolts: a pedagogical IDE for a teaching language (eighty-twenty news)