Details about how the function works in order of steps taken.
Type-II tests are invariant with respect to (full-rank) contrast coding.
Type-II tests are calculated according to the principle of marginality,
testing each term after all others, except ignoring the term's higher-order
relatives. This definition of Type-II tests corresponds to the tests
produced by SAS for analysis-of-variance models, where all of the
predictors are factors, but not more generally (i.e., when there are
quantitative predictors).