anchor.diff:  
   %% Handling types in LFE including functions for converting between
   %% Erlang and LFE type formats.
  +%% We can correctly do most types except for maps where we lose the
  +%% distinction between assoc and exact pairs.
   
   -module(lfe_types).
   
  
positive.code: %%  nothing.  We don't differentiate here between pre-defined or user
  %%  defined types.
  
  from_type_def({type,_L,tuple,any}) -> [tuple];
  from_type_def({type,_L,union,Types}) ->		%Special case union
      ['UNION'|from_type_defs(Types)];
  from_type_def({type,_L,record,[{atom,_L,Name}|Fields]}) ->
      [record,Name,from_type_defs(Fields)];
  from_type_def({type,_L,field_type,[{atom,_,Name},Type]}) ->
  
negative.code: 
  to_lambda_args(any, Line) -> {type,Line,any};
  to_lambda_args(Args, Line) -> to_func_prod(Args, Line).
  
  %% from_func_type_list([FuncType]) -> Type.
  
  