Greatly expand Data.Conat and Coinduction

Includes some miscellaneous stuff