minitt::check::subtype
pub fn compare_normal( index: u32, tcs: TCS, subtype: Value, supertype: Value) -> TCM<TCS>
Read back the type values and do syntactic comparison.