cleanup, netkat_test not required with katnetic
added position to error strings
Added position to error strings in type checker