Add 'impure' no-op for tainting functions.
Consolidate 'Show' instance for 'Purity'.