as @frapac suggested, i'll add methods to extract matrices from `EqualTo`, `LessThan` and other constraints