Flattening unions after apply

  - XXX: This might not be enough
  - More checks might need to be added
Merge branch 'forin' of github.com:UCSD-PL/RefScript into forin
Fixed tests/pos/forin/forin-000.ts

  - Added extra case in builtin_BIForInKeys