minor edits to trilinos
edits after read-through on computations
edits after read-through on sympy
minor edit
remove comment
pull rewriting out from inference
add sympy/maude rewriting to term-rewrite-system
edits after readthrough on cas
add label to scipy-compiled-langs
minor edits
minor edits
update library