improvements in constructors phase

These improvements make the compiler emit code that is both more compact and somewhat faster, too.

review by @JamesIry or @gkossakowski or @retronym