Fix 2: no_identifier_bound_multiple_times
Fix 2: fix unbound identifier check
Fix 2: no_assign_on_variable_of_kind_strict
Fix 2: lighter types for tests