Cleaned up pretty printing for effects with provenance metadata. Fix for marking globals in declaration provenance.