add -f-tagged flag and provide better compatibility when limited to older
versions
guarded Contravariant Proxy
copyright bump