IntersectedAbstractFSA is not needed anymore

src/dense_fsa.jl

@@ -38,7 +38,7 @@ end
 λ(G::DenseFSA) = repeat(G.Σ, size(G.H, 2) - 1)
 
 # Intersection with DenseFSA
-struct IntersectedDenseFSA{K, L, T<:AbstractFSA{K, L}} <: IntersectedAbstractFSA{K, L, DenseFSA{K, L}, T}
+struct IntersectedDenseFSA{K, L, T<:AbstractFSA{K, L}} <: AbstractAcyclicFSA{K, L}
     A::DenseFSA{K, L}
     B::T
     C::AbstractMatrix{K}  # of shape |Σ| x nstates(A)

src/intersect.jl

-abstract type IntersectedAbstractFSA{K, L, T_A, T_B} <: AbstractFSA{K, L} end
-
-struct IntersectedFSA{K, L, T_A<:AbstractFSA{K,L}, T_B<:AbstractFSA{K,L}} <: IntersectedAbstractFSA{K,L,T_A,T_B}
+struct IntersectedFSA{K, L, T_A<:AbstractFSA{K,L}, T_B<:AbstractFSA{K,L}} <: AbstractFSA{K, L}
     A::T_A
     B::T_B
     M::AbstractMatrix{K}