From the retreat notes: * Subtyping (relevant information is not currently tracked in the compiler) * Interface mismatches (harder to read with JSX4) * Get rid of OCaml syntax in error messages * Code Actions for fixing error messages / refactoring Also: * Function application (incorrect number/types of arguments) #7055