Improve type errors for locals
Allow non-heterogeneous types in map destructuring
Test for map destructuring