He said AND not OR for those features. There might be modern stuff with the AND but they usually ignore something. I had luck in distant past making type-safe 3GL's in a LISP that extracted to C/C++ with checks on. Really kludgy, though. Still haven't seen one do such things as cleanly as the old systems with high efficiency as well.
