adding some type checking tests

tests/type-checking/arithmetic/addition/bool_add_fail.mlir

.../type-checking/arithmetic/addition/int_add_bool_fail.mlir

tests/type-checking/arithmetic/negate/negate_true.mlir

...king/assign-complex/list-assign/list_list_assign_int.mlir

...assign-complex/list-assign/list_list_assign_list_int.mlir

...assign-complex/list-assign/list_plus_list_assign_int.mlir

...complex/multi-list-assign/multi_list_list_assign_int.mlir

...ype-checking/base-rules/names/func_name_as_expr_fail.mlir

tests/type-checking/base-rules/names/unkown_name_fail.mlir

tests/type-checking/functions/func-def/shadowing.mlir

tests/type-checking/functions/func-def/shadowing_fail.mlir

...king/functions/function-call/call_empty_on_args_fail.mlir

...ctions/function-call/call_int_arg_on_int_object_fail.mlir

...tions/function-call/call_multiple_args_few_args_fail.mlir

.../functions/return/explicit_return_none_for_no_return.mlir

...ype-checking/functions/return/maybe_return_something.mlir

...nctions/return/return_int_when_nothing_expected_fail.mlir

...ctions/return/return_nothing_when_expecting_int_fail.mlir