remove "_init" from type_kind_* functions.
Arr, Labeled-args type memoization; variad and assoc type derivation.