fullrecon: implemented recon([:Var,...
fullrecon: implemented recon([:App,...
fullrecon: removed evaluator of arith
Update README