Added primitives for generic constraints

Summary: I added a check in Typing_subtype to allow for generics to have a
primitive type as a constraint.

Reviewed By: @jwatzman

Differential Revision: D1523271