Puts Chc( Cat( Lit(Atom(Foo)) ) )