What the blog author is describing, on the other hand, is a small language for teaching the use and application of certain programming techniques.They already exist: the Racket student languages. My first year CS course was built on them [1]. Really well-made and -run course.
[1] https://www.student.cs.uwaterloo.ca/~cs135/
