Show that the inverse of subject_reduction does not hold
Do exercises at the end of Types chapter