partial type reification
comment.
mk_morph object check.
renamed mk_kind_prim_gen, mk_kind_alias
Kind-prim, Kind-prim-gen now have host-type field.
simplify struct kind bootstrapping.