Added one test for instantiator.
Fixed test for typer.
Added test for found bug.
Fixed bug at typer.
Added next test.
Correctly fixed same bug at typer.
Fixed test.
Fixed bug at instantiator.