Fixed some bugs in the generator and validator of CaseLinkTree. Changed
the names of CaseLinkTree and CaseLinkTent that appear in the interface
to be more concise.