Semitensor for Day

Started work on instance Semitensor (Day c t).
Removed category type variable from Day

Trying to work out associativity of Day t
Merge pull request #2 from echatav/master

Semitensor for Day