anchor.diff:    [t_any()];
   arg_types(erlang, is_builtin, 3) ->
     [t_atom(), t_atom(), t_arity()];
  -arg_types(erlang, is_constant, 1) ->
  -  [t_any()];
   arg_types(erlang, is_float, 1) ->
     [t_any()];
   arg_types(erlang, is_function, 1) ->
  
positive.code:   strict(arg_types(erlang, is_boolean, 1), Xs, Fun);
  type(erlang, is_builtin, 3, Xs) ->
    strict(arg_types(erlang, is_builtin, 3), Xs, fun (_) -> t_boolean() end);
  type(erlang, is_constant, 1, Xs) ->
    Fun = fun (X) ->
  	    check_guard(X, fun (Y) -> t_is_constant(Y) end, t_constant())
  	end,
    strict(arg_types(erlang, is_constant, 1), Xs, Fun);
  type(erlang, is_float, 1, Xs) ->
    Fun = fun (X) ->
  	    check_guard(X, fun (Y) -> t_is_float(Y) end, t_float())
  
negative.code: 		    t_cons/2,
  		    t_cons_hd/1,
  		    t_cons_tl/1,
  		    t_fixnum/0,
  		    t_non_neg_fixnum/0,
  		    t_pos_fixnum/0,
  