Priors for System 2 Knowledge Representation