removed CLasH-based Show code; tweaked Adder example