Sheltered Foundations of Algebra