LOCAL types : SET OF STRING := stripped_typeof ( val ) ; END_LOCAL ; IF  'generic_expression' IN  types THEN  RETURN  ( val ) ; END_IF  ; IF  'maths_atom' IN  types THEN  RETURN  ( convert_to_literal ( val ) ) ; END_IF  ; IF  'atom_based_value' IN  types THEN  RETURN  ( make_atom_based_literal ( val ) ) ; END_IF  ; IF 'maths_tuple' IN types THEN RETURN  ( make_maths_tuple_literal ( val ) ) ; END_IF ; RETURN ( ? ) ;