Implement checking of calendar:datetime.

As a special case, handle type declarations for calendar:datetime by
checking the appropriate pattern of nested tuples, matching the official
declaration.
Merge branch 'check-datetime'