NesT typer does not verify consistency of initializers

[pchapin]

Consider code such as

int x = f( ) + 1;

The nesT typer does type checking of the expression f( ) + 1 but it does not verify that the overall type of the expression is appropriate for the declared entity. For example the following passes type checking

int array[10] = 0;