Kinds of individuals defined by patterns of variables. (18th July 2018)