type system contracts

A set of GraphQL Type System abstractions