TypeVars: Reorganize order of class declarations
FreeTypeVars instance for Infer.Payload
Add Scope to Payload