Removed Day convolution. -- moving to kan-extensions