Made the compiler represent (partialtype ...) and (impartialtype ...) values as boxed computations, and implemented the (zunitpartial ...), (zbindpartial ...), and (zfixpartial ...) cases for Term. This simplified some unit tests.