Armored Type Safety with Iron