Expand "subkinds" to include both linearity and "restriction" (i.e.,
Base or Session) components.  Note that these aren't USED anywhere yet,
just uselessly threaded through the compiler.