I don’t like leap weeks. I’d much rather have 1-2 leap days. Let them exist outside the months: year starts with 0 and every 4th year 00 then 0.

For anyone thinking that will be a pain to code, side benefit, it’ll hasten the adoption of sum types.