Support detailed_message for InvalidVarianceAnnotationError, RecursiveAliasDefinitionError, MixinClassError and RecursiveTypeAliasError

[ksss]

I also added support to #detailed_message for following errors.

InvalidVarianceAnnotationError

a.rbs:5:2...5:14: Type parameter variance error: X is contravariant but used as incompatible variance (RBS::InvalidVarianceAnnotationError)

    include M[X]
    ^^^^^^^^^^^^

RecursiveAliasDefinitionError

a.rbs:2:2...2:15: Recursive aliases in ::Foo: foo, bar (RBS::RecursiveAliasDefinitionError)

    alias foo bar
    ^^^^^^^^^^^^^

MixinClassError

a.rbs:4:2...4:13: Cannot include a class `::Foo` in the definition of `::Bar` (RBS::MixinClassError)

    include Foo
    ^^^^^^^^^^^

RecursiveTypeAliasError

a.rbs:2:2...2:16: Recursive type alias definition found for: foo (RBS::RecursiveTypeAliasError)

    type foo = bar
    ^^^^^^^^^^^^^^

ref: #1281
ref: #1166

[soutaro]

🙏