fixed all errors in type checking tests