Add ** operator to the hack typechecker

Summary: Add the exponential operator to the hack type checker

Reviewed By: @elgenie

Differential Revision: D1647793