Cleaning out array tests.
Fix in flattenType.

  - "constructor" field should be ignored when flattening a named type.
Minor fix at overload resolution.

  - Probably needs revisit.
Fixes in unify and var decl typing.