anchor.diff:         ListType == list_nil;
          ListType == list_required ->
       if is_list(TermL) ->
  -	    bad_zip(lists:duplicate(length(TermL), Type), TermL, Mod);
  +            bad_zip(lists:duplicate(length(TermL), Type), TermL, Mod);
          true ->
  -	    {expecting_list_but_got, TermL}
  +            {expecting_list_but_got, TermL}
       end;
   checkType_investigate_deeper(Type, Term, _Mod) ->
       {badType, Type, Term}.
  
positive.code:     is_ascii(atom_to_list(A));
  is_ascii([H|T]) when is_integer(H), H < 128, H > -1 ->
      is_ascii(T);
  is_ascii(<<H:8,T>>) when is_integer(H), H < 128, H > -1 ->
      is_ascii(T);
  is_ascii([]) -> true;
  is_ascii(<<>>) -> true;
  
negative.code:         true ->
              ?FAIL({Check,L})
      end;
  %% @TODO ABNF TYPES -- START
  check_term1({seq,_}, B, _, _) when is_binary(B) ->
      ok; %% temporarily ok for any binary
  check_term1({repeat,_,_,_}=Check, B, _, _) when is_binary(B) ->
      ?FAIL({Check,B});
  check_term1({byte_range,_,_}=Check, B, _, _) when is_binary(B) ->
      ?FAIL({Check,B});
  check_term1({byte_alt,_,_}=Check, B, _, _) when is_binary(B) ->
      ?FAIL({Check,B});
  check_term1({byte_seq,_}=Check, B, _, _) when is_binary(B) ->
      ?FAIL({Check,B});
  check_term1({byte_val,_}=Check, B, _, _) when is_binary(B) ->
      ?FAIL({Check,B});
  %% @TODO ABNF TYPES -- END
  check_term1(Check, X, _Level, _DefTypes) ->
      %% io:format("~p isnot ~p~n", [Check, X]),
      %% exit({Y,isNotA, X}).
  