It seems that extrastereo filter was added to ffmpeg master after the 2.8 series was branched in Sept 2015, so it will only appear in the ffmpeg git build versions. This was verified with "ffmpeg -filters" in the 2.8.5 and the git build static ffmpeg downloads in Linux. So it should work eventually, but mpv will have to be built against an ffmpeg that supports it.
I did not see any karoke filter support in either, though.