Added type conflict and type migration exceptions