-added mpt wrapper class; -added robust fpt class; -added sqrt expr evaluator class; -implemented lazy logic for the ppp circle evaluator; -updated benchmark.