move theorems into reflectionTheory
example: [...] |- (thy,[]) |- "0 = 1" ==> 0 = 1