Introduce ':=' notation, which is alias for `:-`