Desugaring of typed terms

$(typeof e) syntax and desugaring
Extension of verification to handle TypeOf