move some theorems into miscTheory
move bunch of theorems into new sholSyntaxExtraTheory