Working out how to put constraints inside of functions (so that they can take in fresh lvars).  In this example, we don't set the domain of the month lvar before calling day-of-the-week.