Small change in the api.

Replace the type t by term and allow to cast from a term to a symbol.