Enchanting Plus re-implemented using TDD