Build: added ide target
Fixed test that got fixed in the typechecker