more reorganization
	renamed:    DelayMonad.agda -> Monads/Delay.agda
	renamed:    Kleisli.agda -> Monads/Kleisli.agda
	renamed:    MaybeMonad.agda -> Monads/Maybe.agda
	modified:   RestrictionCat.agda
	modified:   RestrictionDelay.agda
	new file:   RestrictionFunctors.agda
	modified:   RestrictionMaybe.agda
	new file:   Totals.agda