Type changes

TypeEffectiveness has its own file