KJ-4 Convert typed expressions into expressions with casts. Eliminated custom heating rules for allAST node types except elaboration top blocks, where they could be replaced by the default rule.