Function gluon_check::unify_type::smaller

pub fn smaller(state: State<'_>, new_type: &RcType, old_type: &RcType) -> Size