Add a set type `TPolyhedron` with implicit matrix, e.g., represented by https://github.com/JuliaReach/LazySets.jl/blob/23d2f605c10dffc4e8ec4d8e65d3e55fa26e65a3/src/Approximations/template_directions.jl#L32
