[CI] Initial pass at new intro

[Hideaki Kimura]

> but I don't think they discuss the data structures that determine what 
> to insert -- that's our contribution.  BHUNT is the closest (with 
> overflow tables), but they really don't describe how this works;  they 
> mostly seem to assume constraints are truly algebraic.
Right. What they describe is not in detail nor practical. Error table
without bucketing will not work for large tables; at least they
didn't provide any performance study about it.
-- 
Hideaki Kimura <hkimura at cs.brown.edu>