Building blocks for a cognitive science-led epistemology of arithmetic