Propagate constructor updates to bytecode

(Not yet searching for which variables are safe to update in place
though)
Do some inlining in Lang IR

In particular, inline 'case' blocks