Question about Centaur

[ychen@ISI.EDU]

Centaur guru,

Typol object
------------
 As shown in the Centaur tutorial,
 the typol object is a connector between Lisp and TYPOL.
 To evaluate an Exp program,
 I need to construct a typol-object for the Exp program
 by the following 3 steps:

(STEP 1) create a ctview 
(STEP 2) read in a Exp program in that ctview
(STEP 3) make a typol_object for the Exp program.

and then evaluate that Exp program by calling 
the function (#:eval_exp:exp_exp exp_typol_obj).
It works fine.

Sisal2 
------
The Exp program evaluation is a simple case because it needs only 
the information contained in an Exp PROGRAM.
I am currently working on evaluating the Sisal2 program. To evaluate
a Sisal2 program, an evaluator needs the following information:

(A) the Sisal2 PROGRAM 
(B) the entry-point FUNCTION NAME and
(C) the INPUT DATA for the arguments of that function.

Questions
---------
I can construct the typol-object for (A) by (STEP 1)~(STEP 3)
without any problem.

My question is: Do I have to construct a typol-object for
the FUNCTION NAME and a typol-object for the INPUT DATA? 

If this is true, does that means I have to define a language 
(by FUNCTION_NAME.metal) for reading the function name in (STEP 2)  
and to define a language (by INPUT_DATA.metal) for reading 
the input data in (STEP 2)?

Thank you in advance for your help.

Yung-Syau