In Penknife, wrote (but didn't yet activate) code to invoke the compiler when interpreting a `fn-essence`. Fixed dozens of type errors this uncovered.