Add show instances for pair and option; add PreludeTest