type-0.2.0: Dynamic casting library with support for arbitrary rank type kinds.