Substitute :: Algebraic -> (Algebraic, Rational) -> Bool
-- ^ checks if a given Algebraic expression can be substituted by Rational
isSubstitute v x = fst x == v


isSubstitute :: Algebraic -> (Algebraic, Rational) -> Bool
isSubstitute v x = fst x == v
isSubstitute v x = fst x == v