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