Topic: literal cleanup

This is for #212. 
@markhibberd I removed the `IvoryDataLiterals` but I don't see which literals you have in mind for "strings with implicit conversions".
We don't seem to do this anywhere else? More generally should we be using scalaz `Equals` in preference to this?