gitignore
safe API for type inference, using the error monad everywhere (also in Util_tptp)