2014-01-17-22.36.59: src/lib/compiler/front/typer/types/type-core-language-declaration-g.pkg:  General tidying, nailed down main (only?) side-effects as: Sets tdt::TYPEVAR_REF.ref_typevar (in unify_typoids)   and   vac::PLAIN_VARIABLE.vartypoid_ref (in generalize_*).