pub fn decide_type_subset_norm_db(ctx: &RelCtx, a: Type, b: Type) -> bool