documentation
add RecordGet and RecordSet in ScopedTerm
simplified and factorized some code (share term containers)
cleanup: check i>=0 for bvar/var in ScopedTerm, share a common fresh_var generator
typed prolog-like term for type inference, with unification and visitor
add PrologTerm.Syntactic constructor
fix printing of Type in TPTP
bugfix: Formula.is_closed
safety check in CNF: clauses must be closed (!)
profiling information in CNF
bugfix in scopedTerm.DB.open_vars (shift variables!)
code cleanup in ScopedTerm.Seq, less closures, simpler
merge from dev
sort list of modules in doc/api_intro.txt
target in Makefile to update @next_release tags
0.5.1