Add the function is_atom in order to test if a given sexp is an atom.
Implement the chain datatype getting ideas from ``The Little MLer''.