renamed Type_* to Kind_*; named tag indices TI_*; implemented derive_Type; various semantic object stubs.
setup instructions