Some work on DateTime-related types; not 100% functional yet