simplify translation in Parse; print top-level type in bot plugin; enable -DTrace in all builds, not just test