Hurrah! This major commit adds support for scoped kind variables,