Remove unused 'Typed' AST.
Reinstate row-scalar kind distinction.

Disable 'impure-from-pure' and 'underflow' tests because the
error messages aren't consistent enough to be testable.