compile tests in native;
bugfixes in Rewriting/Dtree/Term (related to typing)