First steps to a constructor theory of cognition