TypeSpec

The TypeSpec comes in two variants, the ObjectTypeSpec and the FunctionTypeSpec. The ObjectTypeSpec is used to specify a type that behaves like an object, while the FunctionTypeSpec is used to specify a type that works as a function.