Use MixinExtras for better compatibility with mixins from other mods

[eggohito]

I know it's another dependency, but this would improve compatibility with other mods, especially in cases like using @Redirect, which is very unreliable

[MerchantPug]

As I've discussed with eggo and Apace in DMs, I'm happy to work on this.

[eggohito]

MixinExtras has been added as a dependency now. Just need to change some mixins to fully integrate it (perhaps rewrite them on the way as well)