Foundations for Algebra: Year 2 : Toolkit