FTA does not handle types with subtypes and type products well

When the fault tree starts out with or comes across an error type that has subtypes and during the trace it encounters one of the subtypes it does not continue the trace.
In the fault impact analysis we handle this scenario.
Similarly it handles type products by only propagating the first type in a type product. 
We want to propagate type tokens rather than error types.