\section{Setting}
We want to define universes.

We consider a group of basic that types. int, string, float, bool, list?
int: decimal encoded integer numbers.
float: decimal float numbers.
bool: true, false, yes, no, 1, 0.
string: character strings.

Derived data types. Product, arrow types, parameterized types.

Preguntas?

Supongamos que tenemos una expresion del tipo:

<OMA>
    <OMS cd="arith1" name="plus">
    <OMI>1</OMI>
    <OMA>
        <OMS cd="arith1" name="times"/>        
        <OMI>1</OMI>
        <OMI>1</OMI>
    </OMA>
</OMA>


Como saber que plus se refiere al plus los enteros? Es decir 
como chequer que <OMA> tiene tipo <OMI>?

