add multivariate "easy types"
Thanks Peter Broadbery
A type is called "easy" if all of its arguments are only required to be of type Type. Before, we only counted univariate types. Now, also multivariate type constructors are considered. This results in smaller cliques.
Authored by: hemmecke 2017-01-24
Parent: [r2167]
Child: [r2169]