Make dow_number/2 pure

I'm still not sure if "pure" is the right word.  Anyway, one can call
dow_number/2 with two variables and it still defines the relation
between them, even if code can't execute yet to enforce it.
Implement month(Month) form

This form describes, by name, the month in which a datetime falls.