fix est+ summary-type, hope it won't brake anything else
add some checks for unbounded vars