LOCAL types : SET OF STRING := TYPEOF ( val ) ; END_LOCAL ; IF  'integer' IN  types THEN  RETURN  ( make_int_literal ( val ) ) ; END_IF  ; IF  'real' IN  types THEN  RETURN  ( make_real_literal ( val ) ) ; END_IF  ; IF  'boolean' IN  types THEN  RETURN  ( make_boolean_literal ( val ) ) ; END_IF  ; IF  'string' IN  types THEN  RETURN  ( make_string_literal ( val ) ) ; END_IF  ; IF  'logical' IN  types THEN  RETURN  ( make_logical_literal ( val ) ) ; END_IF  ; IF  'binary' IN  types THEN  RETURN  ( make_binary_literal ( val ) ) ; END_IF  ; IF ( schema_prefix + 'maths_enum_atom' ) IN types THEN RETURN  ( make_maths_enum_literal ( val ) ) ; END_IF ; RETURN ( ? ) ;