Making some vectors constant to reduce dispatch.

There was already a $month-names vector with the same contents,
so remove the duplicate.