refactor scope handling in ScopedExprNode, enable type inference for inlined genexpr nodes, fix type coercion of sum(genexpr)