Added typer-pass type checking for statements.