fix for cons-atom not taking ()s

Author: TeamSPoon

examples/games/TicTakToe.metta

@@ -229,4 +229,4 @@
 ;; (is-human O)
 
 !(play-now)
-!(repl!)
+; !(repl!)

prolog/metta_lang/metta_eval.pl

@@ -1930,16 +1930,14 @@
 eval_20(_Eq,_RetType,_Depth,_Self,['decons-atom'|Args],[H,T]):- !,
    arity_args(Args,[OneArg]), should_be(iz_conz,OneArg), must_unify(OneArg,[H|T]).
 eval_20(_Eq,_RetType,_Depth,_Self,['cons-atom'|TwoArgs],[H|T]):-!,
-   arity_args(TwoArgs,[HH,TT]), should_be(iz_conz,TT),H=HH,T=TT,must_unify(TwoArgs,[H,T]).
-
-
-
-should_be(P1,Term):- call(P1,Term)-> true ; (debug_info(compatability_warning,hyperon_throws_error(should_be(P1,Term))),fail).
-
+   arity_args(TwoArgs,[HH,TT]), should_be(is_list,TT),H=HH,T=TT,must_unify(TwoArgs,[H,T]).
 % NEW
 eval_20(_Eq,_RetType,_Depth,_Self,['decons',OneArg],[H,T]):- !, must_unify(OneArg,[H|T]).
 eval_20(_Eq,_RetType,_Depth,_Self,['cons'|TwoArgs],[H|T]):-!, must_unify(TwoArgs,[H,T]).
 
+
+should_be(P1,Term):- call(P1,Term).
+
 %eval_20(Eq,RetType,Depth,Self,['get-doc'|Args],Res):- !,with_all_spaces(eval_args(Eq,RetType,Depth,Self,['metta-get-doc'|Args],Res)),!.
 %eval_20(Eq,RetType,Depth,Self,['help!'|Args],Res):-!,with_all_spaces(eval_args(Eq,RetType,Depth,Self,['metta-help!'|Args],Res)),!.