Add constructor argument promotion sample
Tweak the "types" sample