clarified operation: include dirs as well;

tuned;

tuned;

build_jdk in Scala;

corrected static scope: multi-argument composition does not apply partially

less complex rewriting of Argo expressions: select candidate rewrite rules by analyzing only on the kind of the head expression, then select the applicable rewrite rule using ML pattern matching; keep all normalization code in a single place: modules of decision procedures focus on their core aspects; more normalization for non-linear arithmetic

tuned;

added postorder