Refactored 'Typer.analyze_expression'

Preparation for typing quantified expressions

	modified:   typer.ml