Fixed simple goal type and simple isabelle prover etc for updated goaltype and prover