Function check_same 

pub fn check_same(
    errs: &mut Errs,
    path: &Vector<String>,
    left: &ExprType,
    right: &ExprType,
) -> Option<Type>