Unified Ground()/Substitute(). Added typedefs.

StdName::SortedSet is to be used for H+.
Term::Seq is a sequence of terms (for z / args).
Also inlined simple constructors.
Started clause.