Add CHECK expression to ANF.

This new expression replaces the old DIE. This way is better
because now we can assign a type to all expressions of the ANF
language (what was the type of DIE before?).