Mechanical incrementalization of typing algorithms