Added algebraic types files