Fixes on function overloads and object types

- Using `Map` instead of `[TypeMembers]` for object types (speedup)

- Better support for function overloads -- see https://github.com/UCSD-PL/RefScript/blob/fix_tsc/tests/pos/simple/overload-01.ts