LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity