Move out Show and Eq instances to Types

They are much more useful to the users here.