I figured that based on the approach, it would make sense to use only features defined in the teaching language itself. I was sort of intrigued about if/where the software contracts could fit, though.