Update day4.md

Added an explicit note on using semantic constructors for operations.