Hardcode array_map typing into typechecker - output typing

Summary: The part where I correctly annotate output type of array_map, split from D1566676 where input parameters are typed, and output is left just as "array". See comment in .hhi file for explanation.

Reviewed By: @elgenie

Differential Revision: D1591816