Make kinds of symbols accessible
Make types Term.t and Lit.t private