Update day4.md

Added an explicit note on using semantic constructors for operation constructors.