nitg: Virtual types bugfix

Corrected bug when creating a new AVarExpr, uses the last inferred type instead of its definition type.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>