Information about the expected type at the top level of type checking a pattern.
Mode for adjusting the expected type and binding mode.
