rename Location to ParseLocation (collision with ocaml compilers lib)
type inference details, and conversions to prolog terms
updated TPTP parser, ast, and utils