The compiled code does not do any error checking on car, cdr, vector-ref and similar functions. A later extension will define these functions as generic so that type errors can be detected. In fact, all one needs to do is let extras0.em redefine the relevant functions, and recompile.