Type Alias EquivResult

type EquivResult = {
    canonical: [Expr | null, Expr | null];
    equal: boolean;
    normal: boolean;
    steps: number;
}