Semitensor for Day

Started work on instance Semitensor (Day c t).