Add typeof refinements to recursive type
Add typeof refinements to recursive type

Summary:
Adds typeof refinements which are used in the next diff.

Later in the stack I standardize the R suffix across all refinements

Reviewed By: mvitousek

Differential Revision: D27628096

fbshipit-source-id: 95469211e06ae97800f5f8c41c3c4982a843519e

facebook/flow,mroch/flow,mroch/flow,facebook/flow,mroch/flow,facebook/flow,mroch/flow,mroch/flow,facebook/flow,facebook/flow,facebook/flow,facebook/flow,mroch/flow,mroch/flow