added exercise on purely syntactic IMP