Working on the notion of a syntactic type pattern.