Minor code cleanup for anon function unification.

Summary: This matches the similar code in typing.ml for checking anon
function invocation. Also, we do one less map lookup for the anonymous
function now.

No change in runtime behavior.

Reviewed By: @jwatzman, @elgenie

Differential Revision: D1596893