a top level form. Top level forms need the type system. The type system needs ctype-p to initialize. So we fake it.