Added lookup to Prelude.List
Added ShowPair to Prelude.Show

Instance search fails for ShowB if using ShowSigma for
non-dependent pairs.
test target in test/Makefile