julia 0.6
LazySets
TypedPolynomials
