tidies up atomic for simple goal type
Fixed simple goal type and simple isabelle prover etc for updated goaltype and prover
Merge branch 'clausal_gt'

* clausal_gt:
  Fixed simple goal type and simple isabelle prover etc for updated goaltype and prover
  tidies up atomic for simple goal type