pushing primitive applications through the compilation pipeline, using them for ensuring that the conditions of if-tests are actually Boolean, and cleaning up some old code.  making tests work again, and keeping show-compilation up to date