Compiler [Typechecker]: Handle some T_OR nodes in fix_overloaded_type(). Fixes the returned type for indices() and values() in some now common cases. Fixes some testsuite failures.