Documentation for lexically-scoped type variables