Removed promotion.
Removed BOX.
Pass through Kind.
Removed tc_lhs_kind.
Removed kind parser.
Compiles.