[Feature request] Typesafety for unreal interfaces!

And can we also get Hindley-Milner type inference? That’d be great! Thanks.