Expand typedefs in trivial eq check.

Reviewed By: @jwatzman

Differential Revision: D1596509
Trivial equality check should recurse into nullable types.

Reviewed By: @jwatzman, @elgenie

Differential Revision: D1596548