I want to be able to take a BackedEnum<string> $enum so that $enum->value is definitely a string. Currently I have false positives because BackedEnum::$value is int|string.

• Add template to BackedEnum interface
• Add annotation to specify backing type when declaring enum (@enum<int> maybe?)
• Check annotation against PHP backing type (can only be string or int, but you can't use @enum<positive-int> with enum Foo: string)
• Check annotation against cases (case Bar = 0 should show an issue for @enum<positive-int>)
• The BackedEnum template needs to be filled in from the @enum<[type]> annotation so that BackedEnum::from, ::tryFrom, and ::cases use the correct type